Boyce-Codd normal form